left invariant

左不变式